How do you convert a varchar in the format of HH:MM:SS to a int value in minutes. Using mysql